separated topology

[数] 分离拓扑